Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems

Low-Overhead Time-Triggered Group Membership

A group membership protocol is presented and proven correct for a synchronous time-triggered model of computation with processors in a ring that broadcast in turn. The protocol, derived from one used for critical control functions in automobiles, accepts a very restrictive fault model to achieve low overhead and requires only one bit of membership information piggybacked on regular broadcasts. ...

diagnostic and developmental potentials of dynamic assessment for writing skill

این پایان نامه بدنبال بررسی کاربرد ارزیابی مستمر در یک محیط یادگیری زبان دوم از طریق طرح چهار سوال تحقیق زیر بود: (1) درک توانایی های فراگیران زمانیکه که از طریق برآورد عملکرد مستقل آنها امکان پذیر نباشد اما در طول جلسات ارزیابی مستمر مشخص شوند; (2) امکان تقویت توانایی های فراگیران از طریق ارزیابی مستمر; (3) سودمندی ارزیابی مستمر در هدایت آموزش فردی به سمتی که به منطقه ی تقریبی رشد افراد حساس ا...

Low-Level Run-Time Systems for Generic Code Generators

Run-time services like accurate garbage collection and exception handling require static information about programs that is available only at compile-time. Compilers that use off-the-shelf code generators cannot easily produce such information and this severely limits the implementation choices for the run-time system. C-is a portable compiler-target language that includes support for high-leve...

Scheduling for Time - Triggered Systems

Simulation-based Application Software Development in Time-triggered Communication Systems

This paper introduces a simulation-based approach for design and test of application software for timetriggered communication systems. The approach is based on the SIDERA simulation system that supports the time-triggered real-time protocols TTP and FlexRay. We present a software development platform for FlexRay based communication systems that provides an implementation of the AUTOSAR standard...